home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.sys.amiga.programmer
- Path: techfak.uni-bielefeld.de!isthesin
- From: isthesin@techfak.uni-bielefeld.de (Stephan Thesing)
- Subject: Re: PPC compilers
- Message-ID: <DKyzGr.1G0@hermes.hrz.uni-bielefeld.de>
- Sender: isthesin@TechFak.Uni-Bielefeld.DE (Stephan Thesing)
- Date: Wed, 10 Jan 1996 14:41:14 GMT
- References: <john.hendrikx.40ka@grafix.xs4all.nl> <4b77tq$htp@serpens.rhein.de> <5BoUx*MZe@yaps.rhein.de> <4cpi23$ong@sunsystem5.informatik.tu-muenchen.de> <4cq342$j2l@serpens.rhein.de> <4csvb6$oa6@sunsystem5.informatik.tu-muenchen.de> <4cu1pq$1om@serpens.rhein.de>
- Nntp-Posting-Host: moos.techfak.uni-bielefeld.de
- Organization: Universitaet Bielefeld, Technische Fakultaet.
- X-Newsreader: xrn 8.01
-
- In article <4cu1pq$1om@serpens.rhein.de>, mlelstv@serpens.rhein.de (Michael van Elst) writes:
- |> fischerj@Informatik.TU-Muenchen.DE (Juergen "Rally" Fischer) writes:
- |>
- |> >Oh some people read out of my mind that I hate C :)
- |>
- |> No mind-reading involved. It is clearly readable.
- |>
- |> >The thing is that you often answer to my claim + some parameters
- |> >changed by you.
- |>
- |> Nope. Most of your statements start with the equivalent of
- |> "if the C programmer does what a c0d3r would do" and then
- |> make some claim about using C language.
- |>
- |> The precondition is already wrong and so is the claim.
- |>
-
- Not really.
- 'if p then c' is only false, if p==true and c==false, but
- trivially true, if p==false, as anybody see by looking
- at the truth table of the implication relation ;-)
-
- bye..
- Stephan
-
- |> --
- ===============================================
- = Stephan Thesing =
- = AG Praktische Informatik =
- = Technische Fakult"at =
- = Universit"at Bielefeld =
- ===============================================
-